Sarre (Land) And NotThomas Lehmann
List of bibliographic references
Number of relevant bibliographic references: 41.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 001512 | Ralf Karrenberg [Allemagne] ; Marek Košta [Allemagne] ; Thomas Sturm [Allemagne] | Presburger Arithmetic in Memory Access Optimization for Data-Parallel Languages |
| 001527 | Matthias Horbach [Allemagne] ; Viorica Sofronie-Stokkermans [Allemagne] | Obtaining Finite Local Theory Axiomatizations via Saturation |
| 002618 | Tianxiang Lu [Allemagne, France] ; Stephan Merz [France] ; Christoph Weidenbach [Allemagne] | Towards Verification of the Pastry Protocol Using TLA + |
| 003077 | Matthias Daum [Allemagne] ; Norbert W. Schirmer [Allemagne] ; Mareike Schmidt [Allemagne] | From Operating-System Correctness to Pervasively Verified Applications |
| 003091 | Matthias Horbach [Allemagne] | Disunification for Ultimately Periodic Interpretations |
| 003114 | Johannes Faber [Allemagne] ; Carsten Ihlemann [Allemagne] ; Swen Jacobs [Suisse] ; Viorica Sofronie-Stokkermans [Allemagne] | Automatic Verification of Parametric Specifications with Complex Topologies |
| 003969 | Matthias Horbach [Allemagne] ; Christoph Weidenbach [Allemagne] | Deciding the Inductive Validity of ∀ ∃ * Queries |
| 003970 | Matthias Horbach [Allemagne] ; Christoph Weidenbach [Allemagne] | Decidability Results for Saturation-Based Model Building |
| 004301 | Matthias Horbach [Allemagne] ; Christoph Weidenbach [Allemagne] | Superposition for Fixed Domains |
| 004D28 | Ernst Althaus [Allemagne] ; Stefan Canzar [France] | A Lagrangian Relaxation Approach for the Multiple Sequence Alignment Problem |
| 005464 | Florian Kupsch [Allemagne] ; Dirk Werth [Allemagne] | Integrating Business Processes with Peer-to-Peer Technology |
| 005595 | Harald Ganzinger [Allemagne] ; Viorica Sofronie-Stokkermans [Allemagne] ; Uwe Waldmann [Allemagne] | Modular proof systems for partial functions with Evans equality |
| 006177 | Ralph Debusmann [Allemagne] ; Denys Duchier [France] ; Joachim Niehren [France] | The XDG Grammar Development Kit |
| 006212 | E. Althaus [Allemagne] ; G. C Linescu [États-Unis] ; I. I. M Ndoiu [États-Unis] ; S. Prasad [États-Unis] ; N. Tchervenski [États-Unis] ; A. Zelikovsky [États-Unis] | Power Efficient Range Assignment for Symmetric Connectivity in Static Ad Hoc Wireless Networks |
| 006226 | François Lamarche [France] ; Lutz Stra Burger [Allemagne] | Naming Proofs in Classical Propositional Logic |
| 006227 | Ralph Debusmann [Allemagne] ; Denys Duchier [France] ; Marco Kuhlmann [Allemagne] | Multi-dimensional Graph Configuration for Natural Language Processing |
| 006254 | Claus-Peter Wirth [Allemagne] | History and Future of Implicit and Inductionless Induction: Beware the Old Jade and the Zombie! |
| 006310 | Markus Löckelt [Allemagne] | Action Planning for Virtual Human Performances |
| 006377 | Ernst Althaus [France] ; Stefan Funke [Allemagne] ; Sariel Har-Peled [États-Unis] ; Jochen Könemann [Canada] ; Edgar A. Ramos [États-Unis] ; Martin Skutella [Allemagne] | Approximating k-hop minimum-spanning trees |
| 006B66 | Harald Ganzinger [Allemagne] ; Viorica Sofronie-Stokkermans [Allemagne] ; Uwe Waldmann [Allemagne] | Modular Proof Systems for Partial Functions with Weak Equality |
| 006C34 | Simon Colton [Royaume-Uni] ; Andreas Meier [Allemagne] ; Volker Sorge [Royaume-Uni] ; Roy Mccasland [Royaume-Uni] | Automatic Generation of Classification Theorems for Finite Algebras |
| 006C54 | Yevgeny Kazakov [Allemagne] ; Hans De Nivelle [Allemagne] | A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards |
| 007984 | Harald Ganzinger [Allemagne] ; Jürgen Stuber [France] | Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation |
| 008733 | Serge Autexier [Allemagne] ; Dieter Hutter [Allemagne] ; Till Mossakowski [Allemagne] ; Axel Schairer [Allemagne] | The Development Graph Manager Maya |
| 008748 | Ernst Althaus [États-Unis] ; Alexander Bockmayr [France] ; Matthias Elf [Allemagne] ; Michael Jünger [Allemagne] ; Thomas Kasper [Allemagne] ; Kurt Mehlhorn [Allemagne] | SCIL — Symbolic Constraints in Integer Linear Programming |
| 008760 | Axel Schairer [Allemagne] ; Dieter Hutter [Allemagne] | Proof Transformations for Evolutionary Formal Software Development |
| 009442 | Claire Gardent [France] ; Stefan Thater [Allemagne] | Generating with a grammar based on tree descriptions: A constraint-based approach |
| 009E60 | Volker Sorge [Allemagne] | Non-trivial Symbolic Computations in Proof Planning |
| 009E78 | Erica Melis [Allemagne] ; Jürgen Zimmer [Allemagne] ; Tobias Müller [Allemagne] | Integrating Constraint Solving into Proof Planning |
| 009F20 | Alexander Bockmayr [France] ; Friedrich Eisenbrand [Allemagne] | Combining Logic and Optimization in Cutting Plane Theory |
| 00A836 | Alexander Bockmayr [France] ; Friedrich Eisenbrand [Allemagne] ; Mark Hartmann [États-Unis] ; Andreas S. Schulz [États-Unis] | On the Chvátal rank of polytopes in the 0/1 cube |
| 00A860 | G. Delzanno [Allemagne] ; D. Galmiche [France, Allemagne] ; M. Martelli [Italie, Allemagne] | A specification logic for concurrent object-oriented programming |
| 00A915 | Jürgen Stuber [Allemagne] | Theory Path Orderings |
| 00AA17 | Veronique Cortier [France] ; Harald Ganzinger [Allemagne] ; Margus Veanes [Allemagne] ; Florent Jacquemard [France] | Decidable Fragments of Simultaneous Rigid Reachability |
| 00B326 | Erica Melis [Allemagne] ; Jean Lieber [France] ; Amedeo Napoli [France] | Reformulation in case-based reasoning |
| 00B360 | Andreas Werner [Allemagne] ; Alexander Bockmayr [Allemagne] ; Stefan Krischer [Allemagne] | How to realize LSE narrowing |
| 00C096 | Sergei Vorobyov [Allemagne] | An improved lower bound for the elementary theories of trees |
| 00C658 | Rolf Backofen [Allemagne] | A complete axiomatization of a theory with feature and arity constraints |
| 00CD21 | Andreas Werner [Allemagne] ; Alexander Bockmayr [Allemagne] ; Stefan Krischer [France] | How to realize LSE narrowing |
| 00D209 | Alexander Bockmayr [Allemagne] | Conditional narrowing modulo a set of equations |
| 00D224 | Alexander Bockmayr [Allemagne] ; Stefan Krischer [France] ; Andreas Werner [Allemagne] | An optimal narrowing strategy for general canonical systems |
| This area was generated with Dilib version V0.6.33. |  |